# -*- mode: snippet -*-
# name: exist
# key: exist
# --
Set Printing Existential Instances.